√在线天堂中文最新版网,97se亚洲综合色区,国产成人av免费网址,国产成人av在线影院无毒,成人做爰100部片

×

typed lambda calculus中文什么意思

發(fā)音:   用"typed lambda calculus"造句
  • 有類型 lambda 演算
  • 有類型lambda演算
  • type:    n. 1.型，類型，(工業(yè)產(chǎn)品的)品種；風(fēng)格，型式。 2 ...
  • lambda:    n. 1.希臘語(yǔ)第十一個(gè)字母〔Λ,λ 與英語(yǔ)字母L相當(dāng)〕 ...
  • calculus:    n. (pl. calculuses, -li ) 1. ...
  • simply typed lambda calculus:    簡(jiǎn)單類型 lambda 演算; 簡(jiǎn)單類型lambda演算
  • lambda calculus:    lambda可定義函數(shù); Λ-遞歸函數(shù); Λ演算; λ演算; 無(wú)類型 lambda 演算; 無(wú)類型lambda演算; 演算
下載手機(jī)詞典可隨時(shí)隨地查詞查翻譯

百科釋義

    A typed lambda calculus is a typed formalism that uses the lambda-symbol (lambda) to denote anonymous function abstraction. In this context, types are usually objects of a syntactic nature that are assigned to lambda terms; the exact nature of a type depends on the calculus considered (see kinds below).
    詳細(xì)百科解釋

相關(guān)詞匯

        type:    n. 1.型，類型，(工業(yè)產(chǎn)品的)品種；風(fēng)格，型式。 2 ...
        lambda:    n. 1.希臘語(yǔ)第十一個(gè)字母〔Λ,λ 與英語(yǔ)字母L相當(dāng)〕 ...
        calculus:    n. (pl. calculuses, -li ) 1. ...
        simply typed lambda calculus:    簡(jiǎn)單類型 lambda 演算; 簡(jiǎn)單類型lambda演算
        lambda calculus:    lambda可定義函數(shù); Λ-遞歸函數(shù); Λ演算; λ演算; 無(wú)類型 lambda 演算; 無(wú)類型lambda演算; 演算
        normalization property (lambda-calculus):    規(guī)范化性質(zhì)
        typed:    打字; 類型化的
        lambda:    n. 1.希臘語(yǔ)第十一個(gè)字母〔Λ,λ 與英語(yǔ)字母L相當(dāng)〕。 2.微升〔百萬(wàn)分之一升〕。 3.λ粒子( ＝ lambda particle)。
        calculus:    n. (pl. calculuses, -li ) 1.【醫(yī)學(xué)】結(jié)石，石；積石；牙垢。 2.【數(shù)學(xué)】運(yùn)算，演算；微積分(學(xué))。 calculus of finite differences 【數(shù)學(xué)】差分演算(法)，差分學(xué)。 calculus of variation 變分法[學(xué)]。 differential [integral] calculus微[積]分(學(xué))。 urinary calculus【醫(yī)學(xué)】尿結(jié)石。
        strong-typed:    強(qiáng)類型的
        strongly typed:    強(qiáng)類型的; 強(qiáng)型別; 需要強(qiáng)化類型
        strongly-typed:    強(qiáng)類型的
        typed behavior:    性別行為的模仿
        typed by jandy:    服裝專業(yè)英語(yǔ)
        typed cloths:    標(biāo)準(zhǔn)家用布
        typed dataset:    類型化數(shù)據(jù)集; 強(qiáng)類型數(shù)據(jù)集
        typed literal:    類型文字
        typed pointer:    類型指標(biāo)
        bacteriophage lambda:    λ噬菌體
        lambda (λ):    微升
        lambda angle:    λ角
        lambda bacteriophage:    λ噬菌體
        lambda binding:    λ約束
        lambda chain:    輕鏈,λ鏈:免疫球蛋白輕鏈型式之一
        lambda computation:    λ計(jì)算

其他語(yǔ)言

相鄰詞匯

  1. typed 什么意思
  2. typed behavior 什么意思
  3. typed by jandy 什么意思
  4. typed cloths 什么意思
  5. typed dataset 什么意思
  6. typed literal 什么意思
  7. typed pointer 什么意思
  8. typed value and string value 什么意思
  9. typedef 什么意思
  10. typee 什么意思
桌面版繁體版English

相關(guān)閱讀

Copyright ? 2025 WordTech Co.